Introduction

This page summarizes the trophies won by the tools for CTLPlaceComparison. At this stage, we think this is not possible to provide a global trophy for the MCC @ Petri Net 2013.

Separated trophies for CTLPlaceComparison

We first consider separately the two types of models.

Trophies for the “Known” Models			Trophies for the “Surprise” Models
LoLA 192 (points)	LoLA optimistic 187 (points)	LoLA optimistic incomplete 135 (points)	marcie 22 (points)	LoLA 6 (points)	LoLA optimistic 6 (points)	LoLA optimistic incomplete 6 (points)

Global trophies for CTLPlaceComparison

For this trophy, we use the following formula: results on “Known” models + 2 x results on “Surprise” models.

Trophies for All Models
LoLA 204 (points)	LoLA optimistic 199 (points)	LoLA optimistic incomplete 147 (points)